Nella logica, la non-implicazione inversa[1] è un connettivo logico che è la negazione dell'implicazione inversa (o, equivalentemente, la negazione dell'inverso dell'implicazione).
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search